网络释义专业释义英英释义
Ps22Pdf 关键词 : 形式化方法 ; 非递归 ; PAR; 循环不变式 ; 可靠性 [gap=1010]Key words: formal method; non-recursive; PAR; loop invariant; reliability
基于300个网页-相关网页
Loop-invariant code motion 循环不变量代码移动 ; 外面
loop invariant computation 回路不变量计算
loop invariant value 循环不变量
weak loop invariant 弱循环不变式
Loop invariant motion 循环不变量移动
weak parallel loop invariant 弱并行循环不变式
loop checking invariant 循环不变量
Loop invariant
- abstract: In computer science, a loop is a programming language statement which allows code to be repeatedly executed; an invariant of a loop is a property that holds before (and after) each repetition. It is a logical assertion, sometimes programmed as an assertion.
以上来源于: WordNet
双语例句原声例句
-
What's the loop invariant for this code?
此代码的循环不变式是什么？
-
How to find the loop invariant and prove correctness?
如何寻找循环不变式和证明的正确性？
-
Loop invariant code motion (LICM) is a traditional optimization.
循环不变量外提是一种传统的优化算法。
-
So this is a nice little search-- sorry, a nice little sort algorithm . And in fact, it's relying on something that we're going to come back to, called the loop invariant.
恩，这是一个很棒的小搜索，抱歉，和很棒的小排序算法，事实上，它依赖于一些我们要回顾的东西,被称作循环不变量。
-
The loop invariant what does the loop invariant mean? It says, here is a property that is true of this structure every time through the loop.
循环不变量是什么意思？,它是一个在结构体中,每次循环都为真的属性。
应用推荐